1. Challenges for action theories
Author: Thielscher, Michael
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer logic,، System design,، Formal methods )Computer science(
Classification :
QA
76
.
L28
Vol
.
1775
